1. FME'97, industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe 1997 : proceedings
پدیدآورنده : John Fitzgerald, Cliff B. Jones, Peter Lucas, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Methodology -- Congresses ، System design
رده :
QA
76
.
L28
Vol
.
1313